Tree automaton - PDFSEARCH.IO - Document Search Engine

Tree automaton
Results: 92

#	Item
51	Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Ω-automaton Büchi automaton Tree automaton Star height Alternating finite automaton Muller automaton Automata theory Theoretical computer science Computer science
52	INFINITE GRAPHS GENERATED BY TREE REWRITING Von der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Graph Deterministic pushdown automaton Nested word Graph theory Mathematics Theoretical computer science
53	Algorithms for Guided Tree Automata Morten Biehl1 , Nils Klarlund2 , and Theis Rauhe1 1 BRICS, Department of Computer Science, University of Aarhus, Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:46:59 Mathematics Binary decision diagram Tree automaton Nondeterministic finite automaton Deterministic finite automaton Tree traversal Binary tree Tree Infinite tree automaton Automata theory Theoretical computer science Computer science
54	Automata on Inifinite Trees Christof L¨oding Lehrstuhl Informatik 7 RWTH Aachen[removed]Aachen, Germany email: [removed] Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:51 Ω-automaton Muller automaton Alternating tree automata Tree automaton Alternating finite automaton Nondeterministic finite automaton Deterministic automaton Finite-state machine Parity game Automata theory Theoretical computer science Computer science
55	Logic and Automata over Infinite Trees Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Formal languages Combinatorics on words Mathematical logic Models of computation Linear temporal logic Finite-state machine Tree automaton Parity game Alphabet Automata theory Mathematics Theoretical computer science
56	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
57	Synthesizing Structured Reactive Programs via Deterministic Tree Automata Benedikt Br¨utsch RWTH Aachen University, Lehrstuhl f¨ur Informatik 7, Germany [removed] Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-05-15 08:25:21 Applied mathematics Ω-automaton Algorithm Tree automaton Finite-state machine Automata theory Theoretical computer science Computer science
58	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2005-11-11 05:43:22 Spanning tree Computer programming Models of computation Message Passing Interface Parallel computing Algorithm I/O Automaton Model checking Finite-state machine Computing Automata theory Theoretical computer science
59	Proceedings of the International Multiconference on Computer Science and Information Technology pp. 659–666 ISBN[removed]4 ISSN[removed] Add to Reading List Source URL: www.proceedings2009.imcsit.org Language: English - Date: 2009-10-30 02:36:35 Computer science Applied mathematics Deterministic pushdown automaton Pushdown automaton Nondeterministic finite automaton Tree automaton Deterministic finite automaton Finite-state machine Tree traversal Automata theory Models of computation Theoretical computer science
60	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou† Dept. of Computer Science University of Cyprus Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-11-27 02:42:43 Computer science Tree automaton I/O Automaton Finite-state machine Message Passing Interface Model checking Automata theory Computing Theoretical computer science